Section: New Results

Logical Foundations of Cognitive Agents

Participants : Andrea Tettamanzi, Serena Villata.

We carried on work on the logical foundations of cognitive agents in collaboration with Salem Benferhat of CRIL and Célia da Costa Pereira of I3S [25] and on the application of such theoretical framework to the problem of exploiting untrustworthy communication in vehicular ad-hoc networks, in collaboration with Ana L. Bazzan and Andrew Koster of the Federal University of Rio Grande do Sul in Brasil and Célia da Costa Pereira of I3S [41] ; still related to the issue of trust in multi-agent systems, we took part, with Serena Villata and Célia da Costa Pereira of I3S in a joint investigation with a research team, led by Cristiano Castelfranchi, of the CNR-ISTC in Rome [19] .